Résumé :
Soit V un domaine de valuation.
Nous donnons un algorithme pour calculer une base du V-saturé d'un sous-module de type fini
d'un V-module libre (avec une base éventuellement infinie).
Nous l'appliquons pour calculer le V-saturé d'un sous-V[X]-module de type fini
de V[X]n.
Ceci permet enfin de calculer
un système générateur fini pour les syzygies sur V[X] d'une famille finie de vecteurs de V[X]k.
Abstract :
-->